Anonymous Artifact for ICSE-22 submission "Fast and Precise Application Code Analysis using a Partial Library"

This artifact contains two compressed files for the code and the detailed experimental results. It also contains the Virtualbox VM image that can be used to reproduce the experiments in the paper. The benchmark set used is the publicly available NJR-1 dataset (https://doi.org/10.5281/zenodo.4839913) Code The Readme file in the code details instructions on how to use the tool on a jar-file or run it on the entire benchmark-set and reproduce the experimental results. Results The results for the null-pointer and cast-check are included. There is one folder of results for every experiment conducted. The 'final_result_stats' folder in each of these summarizes the results for each experiment. The file 'benchmarks_skipped.txt' lists the set of NJR-1 benchmarks skipped (the reason is detailed in the paper) for the experiments in the paper